It offers a glimpse into the opening door of semantic technologies by means of concentrated examples of semantic applications ...
Lire la suiteThe Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used ...
Lire la suiteThe two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lire la suiteThe two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC ...
Lire la suite"Sense of Touch and its Rendering" presents a unique and interdisciplinary approach highlighting the field of haptic research ...
Lire la suiteThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Lire la suiteThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Lire la suiteAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteReports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search ...
Lire la suiteTime-dependent scheduling involves problems in which the processing times of jobs depend on when those jobs are started. ...
Lire la suiteThe book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Lire la suiteProvides important guidelines for the digital transformation process and shows how established companies in particular can ...
Lire la suiteThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Lire la suiteThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Lire la suiteToday’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...
Lire la suiteThis is a nicely edited volume on Estimation of Distribution Algorithms (EDAs) by leading researchers on this important topic.
Lire la suiteTransactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lire la suiteThis, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Lire la suite